signature REF =
sig
    val inc: int ref -> unit
end
